翻訳と辞書 Words near each other ・ Silver Lining ・ Silver Lining (album) ・ Silver Lining (Bernice Summerfield) ・ Silver Lining (Crazy 'Bout You) ・ Silver lining (idiom) ・ Silver Lining Foundation ・ Silver Lining Productions ・ Silver Linings Playbook ・ Silver Link ・ Silver link ・ Silver Lion ・ Silver Living ・ Silver lode ・ Silver Lode (film) ・ Silver Machine ・ Silver machine ・ Silver Marches (accessory) ・ Silver Marlin ・ Silver marsupial frog ・ Silver Marten rabbit ・ Silver medal ・ Silver Medal (Zoological Society of London) ・ Silver Medal for Merit ・ Silver Medal of Military Valor ・ Silver Meikar ・ Silver Memorial Bridge ・ Silver metallism ・ Silver Meteor ・ Silver mica capacitor ・ Silver mining Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Silver machine ： ウィキペディア英語版 Silver machine In set theory, Silver machines are devices used for bypassing the use of fine structure in proofs of statements holding in L. They were invented by set theorist Jack Silver as a means of proving global square holds in the constructible universe. ==Preliminaries== An ordinal $\backslash alpha$ is '' *definable'' from a class of ordinals X if and only if there is a formula $\backslash phi(\backslash mu\_0,\backslash mu\_1,\; \backslash ldots\; ,\backslash mu\_n)$ and $\backslash exists\; \backslash beta\_1,\; \backslash ldots\; ,\; \backslash beta\_n,\backslash gamma\; \backslash in\; X$ such that $\backslash alpha$ is the unique ordinal for which $\backslash models\_\; \backslash phi(\backslash alpha^\backslash circ,\backslash beta\_1^\backslash circ,\; \backslash ldots\; ,\; \backslash beta^\backslash circ\_n)$ where for all $\backslash alpha$ we define $\backslash alpha^\backslash circ$ to be the name for $\backslash alpha$ within $L\_\backslash gamma$. A structure is ''eligible'' if and only if: # $X\; \backslash subseteq\; On$. # < is the ordering on On restricted to X. # $\backslash forall\; i,\; h\_i$ is a partial function from $X^$ to X, for some integer k(i). If is an eligible structure then $N\_\backslash lambda$ is defined to be as before but with all occurrences of X replaced with $X\; \backslash cap\; \backslash lambda$. Let $N^1,\; N^2$ be two eligible structures which have the same function k. Then we say $N^1\; \backslash triangleleft\; N^2$ if $\backslash forall\; i\; \backslash in\; \backslash omega$ and $\backslash forall\; x\_1,\; \backslash ldots\; ,\; x\_\; \backslash in\; X^1$ we have: $h\_i^1(x\_1,\; \backslash ldots\; ,\; x\_)\; \backslash cong\; h\_i^2(x\_1,\; \backslash ldots\; ,\; x\_)$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Silver machine」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.